Responsive sequential processes

Asynchronous sequential processes

Responsive Choice in Mobile Processes

In the π-calculus [MPW92], activeness is the ability to get in contact with a process through a particular channel, and responsiveness is the ability to conduct a conversation, or session, through that channel. The latter is of course strongly dependent on the type of the channel. These have been widely studied concepts, dating back from Sangiorgi’s receptiveness [San99], and closely related to...

Compositional Properties of Sequential Processes

It is widely agreed that the modular method is one of the most effective methods to specify and verify complex systems in order to avoid combinatorial explosion. FLC ( Fixpoint Logic with Chop) is an important modal logic because of its expressivity and logic properties, e.g., it is strictly more expressive than the μ-calculus. In this paper, we study the compositionality of FLC, namely, to inv...

Sequential equivalents of parallel processes

This paper introduces the problem of finding a sequential process equivalent to a system of interacting discrete parallel processes. Under the assumption that the sequential process is to be composed exclusively of executions of the individual "parallel" processes in a predetermined sequence, a method of deriving optimal sequential processes is presented. Applications to the design of simulatio...

How to Parallelize Sequential Processes

A process is prime if it cannot be decomposed into a parallel product of nontrivial processes. We characterize all non-prime normed BPA processes together with their decompositions in terms of normal forms which are designed in this paper. Then we show that it is decidable whether a given normed BPA process is prime and if not, its decomposition can be effectively constructed. This brings other...